behavioural coding in xilinx for counter